ارائه راه کاری برای بهینه سازی فرایند وارسی مدل ازطریق تکنیک های زمان کامپایل در سیستم های توصیف شده با ماشین زماندار
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه اراک - دانشکده مهندسی
- نویسنده محمد خدادادی
- استاد راهنما وحید رافع
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1393
چکیده
چکیده ماشین زمان دار ازجمله ابزارهای وارسی مدل است که برای وارسی سیستم های بلادرنگ مورداستفاده قرار می گیرد و همانند دیگر ابزارهای وارسی مدل با پدیده انفجار فضای حالت مواجه است. مبارزه با انفجار فضای حالت از اهمیت زیادی برخوردار است بخصوص در وارسی سیستم های بزرگ و پیچیده. در اینجا سعی بر آن است تا راهکاری برای مبارزه با انفجار فضای حالت ارائه شود. شیوه کار به این صورت است که با استفاده از تحلیل جریان داده ای تغییر خصوصیات سیستم به حداقل برسد و از تولید حالات اضافی و درنتیجه گسترش فضای حالت جلوگیری به عمل آید. نتایج به دست آمده به صورت عملی گویای آن است که این فرایند کاملاً موثر بوده و می توان با بهینه سازی مدل برحسب خصوصیات مدنظر در وارسی، به صورت کاملاً موثر از انفجار فضای حالت جلوگیری کرد. همچنین می توان این روش را در کنار دیگر روش های مبارزه با انفجار فضای حالت بکار برد.
منابع مشابه
اثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین
Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...
متن کاملاثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین
Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...
متن کاملارائه مدل بهینه سازی چند هدفه در مساله تخصیص افزونگی سیستم- های تعمیرپذیر، با بهره گیری از تکنیک های تصمیم گیری چند معیاره، طراحی آزمایشات و شبیه سازی
بهینه سازی قابلیت اطمینان و متوسط زمان ماندگاری سیستم همواره یکی از حوزه های مهم و جذاب برایمهندسان و طراحان سیستم ها بوده است. هدف این مساله بهینه سازی، پیدا کردن تعداد بهینه قطعات مازادیاست که می بایست جهت ارضای اهداف مهندس قابلیت اطمینان در سیستم مورد استفاده قرار گیرند و تعادللازم میان منابع موجود نظیر بودجه، فضا و وزن برقرار شود. در تحقیقات گذشته، عموما مساله تخصیصافزونگی در سیستم های با ا...
متن کاملارائه یک مدل تلفیقی از الگوریتم های شبیه سازی تبرید و الگوریتم ژنتیک برای بهینه سازی فرایند تولید خوراک دام
تحقیق حاضر به تعیین ترکیب بهینه عوامل موثر در تولید خوراک دام پرداخته است. خوراک دام ارتباط کاملا مستقیمی با سلامت دام دارد. با توجه به اینکه در این تحقیق از اطلاعات مسئله ای واقعی استفاده شده است نتایج آن می تواند قابل ملاحظه باشد. متدولوژی سطح پاسخ و فرایند طراحی آزمایشات به کمک هم می توانند بطور موثر در مدل سازی و بهبود سیستم تولید خوراک دام که بیش از یک عامل تاثیر گذار دارد به کار روند. بعد...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه اراک - دانشکده مهندسی
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023